Diclib.com
Dizionario ChatGPT

Ricerca nel dizionario Soluzioni personalizzate

Inserisci una parola o una frase in qualsiasi lingua 👆

Lingua:

Traduzione e analisi delle parole tramite l'intelligenza artificiale ChatGPT

In questa pagina puoi ottenere un'analisi dettagliata di una parola o frase, prodotta utilizzando la migliore tecnologia di intelligenza artificiale fino ad oggi:

come viene usata la parola
frequenza di utilizzo
è usato più spesso nel discorso orale o scritto
opzioni di traduzione delle parole
esempi di utilizzo (varie frasi con traduzione)
etimologia

Cosa (chi) è SWI-Prolog - definizione

FREE IMPLEMENTATION OF THE PROGRAMMING LANGUAGE PROLOG, COMMONLY USED FOR TEACHING AND SEMANTIC WEB APPLICATIONS

SWI Prolog; Sociaal-Wetenschappelijke Informatica Prolog; Swipl; XPCE; SWIPL

SWI-Prolog

<programming> A Prolog by Jan Wielemaker <jan@swi.psy.uva.nl> like a superset of Edinburgh Prolog. Version 1.7.2. Docking Station is distributed under {General Public License}. It runs on Sun-4, Sun-3, Linux, DEC MIPS (incomplete), RS/6000, PS2/AIX, Atari ST, Gould PN, NeXT, VAX, HP-UX (problems), MS-DOS, and OS/2. SWI-Prolog">ftp://swi.psy.uva.nl/pub/SWI-Prolog. SWI/">OS/2 (ftp://mpii02999.ag2.mpi-sb.mpg.de/pub/toolw/SWI/). Mailing list: prolog-request@swi.psy.uva.nl. (2000-03-23)

PROLOG

PROGRAMMING LANGUAGE THAT USES FIRST ORDER LOGIC

Prolog programming language; Prolog (programming language); ISO/IEC 13211-1; PROLOG; PROLOG programming language; Prolog II; ISO/IEC 13211-2; Prologue language; SICStus Prolog; SICStus; Criticism of Prolog; ISO/IEC 13211; Prolog language; ISO-Prolog; ISO Prolog; Design patterns in Prolog; Prolog-MPI; Meta-interpreters in Prolog

PROgramming in LOGic

Prolog

PROGRAMMING LANGUAGE THAT USES FIRST ORDER LOGIC

Prolog programming language; Prolog (programming language); ISO/IEC 13211-1; PROLOG; PROLOG programming language; Prolog II; ISO/IEC 13211-2; Prologue language; SICStus Prolog; SICStus; Criticism of Prolog; ISO/IEC 13211; Prolog language; ISO-Prolog; ISO Prolog; Design patterns in Prolog; Prolog-MPI; Meta-interpreters in Prolog

·noun & ·v Prologue.

Wikipedia

SWI-Prolog

SWI-Prolog is a free implementation of the programming language Prolog, commonly used for teaching and semantic web applications. It has a rich set of features, libraries for constraint logic programming, multithreading, unit testing, GUI, interfacing to Java, ODBC and others, literate programming, a web server, SGML, RDF, RDFS, developer tools (including an IDE with a GUI debugger and GUI profiler), and extensive documentation.

SWI-Prolog runs on Unix, Windows, Macintosh and Linux platforms.

SWI-Prolog has been under continuous development since 1987. Its main author is Jan Wielemaker.

The name SWI is derived from Sociaal-Wetenschappelijke Informatica ("Social Science Informatics"), the former name of the group at the University of Amsterdam, where Wielemaker is employed. The name of this group has changed to HCS (Human-Computer Studies).

https://en.wikipedia.org/wiki/SWI-Prolog